翻訳と辞書 Words near each other ・ Peter Morrissey ・ Peter Mortimer ・ Peter Mortimer (filmmaker) ・ Peter Mortimer (footballer) ・ Peter Mortimer (rugby league) ・ Peter Morton ・ Peter Morton Day ・ Peter Morville ・ Peter Morwen ・ Peter Morwood ・ Peter Morén ・ Peter Morén (drummer) ・ Peter Mosbacher ・ Peter Mosely ・ Peter Moskos ・ Peter Mosses ・ Peter Motley ・ Peter Motzek ・ Peter Motzfeldt ・ Peter Mountford ・ Peter Mountford (author) ・ Peter Mountford (footballer) ・ Peter Moyes ・ Peter Moyes Anglican Community School ・ Peter Moylan ・ Peter Moyo ・ Peter Mponda ・ Peter Mráz ・ Peter Msigwa ・ Peter Msolla Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Peter Mosses ： ウィキペディア英語版 Peter Mosses Peter David Mosses (born 1948) is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before the latter's untimely death. Mosses has spent most of his career at (BRICS ) in Denmark. He returned to a chair at Swansea University, Wales. His main contribution has been in the area of formal program semantics. In particular, with David Watt he developed action semantics, a combination of denotational, operational and algebraic semantics. == External links == * (Home page ) * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Peter Mosses」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.